//
#include<stdio.h>
int is_leap_year(int year)
{
  return (year%4==0 && year%100!=0)||(year%400==0);
}
void main()
{
  int y=0;
  for(y=1000;y<2000;y++)
  {
     if(is_leap_year(y))
		 printf("%d ",y);
  }
}